functor F(A : sig type t end) =
struct
  type v (= A.t)
end
